--- judge.h_old	2013-11-15 22:00:35.085301859 +0100
+++ judge.h	2013-11-15 22:00:54.811967958 +0100
@@ -22,6 +22,7 @@
 #include <stdbool.h>
 #include <fcntl.h>
 #include <time.h>
+#include <sys/stat.h>
 typedef unsigned int uint;
 typedef long long int llint;
 
